#include<bits/stdc++.h>
using namespace std;
int n=5e5,k=n;
int main(){freopen("sub.in","w",stdout);
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	cout<<n<<' '<<k<<'\n';
	for(int i=1;i<=n;++i) cout<<1000000000-i<<' ';cout<<'\n';
	return 0;
}


